package br.cin.ufpe.rabbit;

import java.util.concurrent.atomic.AtomicInteger;

import gov.nasa.jpf.ListenerAdapter;
import gov.nasa.jpf.PropertyListenerAdapter;
import gov.nasa.jpf.jvm.JVM;
import gov.nasa.jpf.jvm.ThreadInfo;
import gov.nasa.jpf.jvm.bytecode.GETFIELD;
import gov.nasa.jpf.jvm.bytecode.Instruction;
import gov.nasa.jpf.search.Search;
import gov.nasa.jpf.search.SearchListenerAdapter;
import gov.nasa.jpf.search.heuristic.PrioritizedState;
import gov.nasa.jpf.search.heuristic.SimplePriorityHeuristic;

public class AnotherListener extends PropertyListenerAdapter {

	public void executeInstruction(JVM vm){
		System.out.println(vm.getLastInstruction().getFileLocation());

	}

}
